r:CRng. (0r)  Ideal(r){i} 

latex

Up	rings 1
Definitions of Statement	(0r)
Definitions	x:A. B(x), t  T, Ideal(r){i}, (0r), , S Ideal of R, P & Q, P  Q, s SubGrp of g, r+gp, e, |g|, ~, *, t.1, t.2, x f y, CRng, Rng
Lemmas	crng wf, rng car wf, rng zero wf, rng minus wf, rng plus wf, member wf, rng times wf, ideal p wf